Encoding Incremental NACs in Safe Graph Grammars using Complementation
نویسندگان
چکیده
منابع مشابه
Correctness of Incremental Model Synchronization with Triple Graph Grammars
In model-driven software development, we may have several models describing the same system or artifact, by providing different views on it. In this case, we say that these models are consistently integrated. Triple Graph Grammars (TGGs), defined by Schürr, are a general and powerful tool to describe (bidirectional) model transformations. In this context, model synchronization is the operation ...
متن کاملConcept Formation Using Graph Grammars
Recognizing the expressive power of graph representation and the ability of certain graph grammars to generalize, we attempt to use graph grammar learning for concept formation. In this paper we describe our initial progress toward that goal, and focus on how certain graph grammars can be learned from examples. We also establish grounds for using graph grammars in machine learning tasks. Severa...
متن کاملGRAPE: using graph grammars to implement shape grammars
An implementation of a shape grammar interpreter is described. The underlying graph-theoretic framework is briefly discussed to show how alternative representations from graph theory including graphs, overcomplete graphs and hyperedge graphs can support some of the intuitions handled in shape grammars by direct visual computations with shapes. The resulting plugin implemented in Rhino, code-nam...
متن کاملModeling Metabolic Pathways using Graph Grammars
This paper shows the use of a special class of Graph Grammars to model metabolic pathways. The use of Object-based Graph Grammars to this purpose is useful because we can verify specifications of metabolic pathways using model checking techniques and tools. Our proposed model is intended to be expanded to make possible the modeling and properties verification of other biochemical processes, lik...
متن کاملDirected Self-Assembly Using Graph Grammars
In this paper we describe the graph grammar approach to modeling self-assembly. The approach is used to describe how the topology of an assembling aggregate changes as it grows. The main purpose of the paper is to demonstrate the utility of the approach by giving detailed examples. We also describe the beginnings of our approach to physically embedding graph grammar assembly rules in physical s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.330.6